async function main() {
    const r1cs = "rsc/Multiplier.r1cs";
    const ptau = "rsc/powersOfTau28_hez_final_08.ptau";
    const zkey = "rsc/Multiplier.zkey"

    // initializes the curve object controlling wasm threads
    let curve = await snarkjs.curves.getCurveFromName("bn128");

    await snarkjs.r1cs.info(r1cs, console);
    await snarkjs.zKey.newZKey(r1cs, ptau, zkey, console);

    // terminates threads
    curve.terminate();
}